-
1 logical negation
negation gate — вентиль отрицания; схема отрицания
-
2 logical negation
Большой англо-русский и русско-английский словарь > logical negation
-
3 logical negation
Вычислительная техника: логическое отрицание -
4 logical negation
English-Russian dictionary of computer science and programming > logical negation
-
5 logical negation
мат. -
6 logical negation
English-Russian dictionary of computer science > logical negation
-
7 NOT-gate implements logical negation
Универсальный англо-русский словарь > NOT-gate implements logical negation
-
8 inverter implements logical negation
Универсальный англо-русский словарь > inverter implements logical negation
-
9 the inverter implements logical negation
Универсальный англо-русский словарь > the inverter implements logical negation
-
10 negation
-
11 negation
1. n отрицаниеnegation gate — вентиль отрицания; схема отрицания
2. n отрицание существования или истинности3. n ничто, пустое место; фикцияСинонимический ряд:1. denial (noun) cancellation; denial; disclaimer; gainsaying; refusal; refutation; rejection; repudiation; veto2. opposite (noun) absence; antithesis; contradiction; contrary; converse; opposite; reverse3. repeal (noun) abolishment; abolition; abrogation; annihilation; annulment; invalidation; nullification; repeal; rescission -
12 negation
[nɪˈɡeɪʃən]logical negation логическое отрицание negation ничто, фикция negation отрицание -
13 negation
English-Russian dictionary of computer science and programming > negation
-
14 negation
nɪˈɡeɪʃən сущ.
1) отрицание the negation of rights of citizens ≈ отрицание прав граждан Death is nothing more than the negation of life. ≈ Смерть есть не более чем отрицание жизни.
2) ничто, фикция Syn: fiction отрицание - he made a sign of * он отрицательно покачал головой (of) отрицание существования или истинности (чего-л.) - * of * (философское) отрицание отрицания - the * of God отрицание существования бога - arbitrary action is the * of order and justice произвол несовместим с порядком и справедливостью ничто, пустое место;
фикция logical ~ логическое отрицание negation ничто, фикция ~ отрицаниеБольшой англо-русский и русско-английский словарь > negation
-
15 negation
1) отрицаниелогическая операция, меняющая значение логической переменной на противоположное2) изменение знака [числа]см. тж. sign negation3) инверсиясм. тж. logical operatorАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > negation
-
16 логическое отрицание
Большой англо-русский и русско-английский словарь > логическое отрицание
-
17 litotes
a two-component structure in which two negations are joined to give a possessive evaluation- the first component is always the negative particle "not", while the second, always negative in semantics, varies in form from a negatively affixed word (as above) to a negative phraseHer face was not unpretty. (K.Kesey)
It was not unnatural if Gilbert felt a certain embarrassment. (E.Waugh)
The idea was not totally erroneous. The thought did not displease me. (I.Murdoch)
Source: V.A.K.••a) is a stylistic device consisting of a peculiar use of negative constructions: the negation plus noun or adjective serves to establish a positive feature in a person or thing- is a deliberate understatement used to produce stylistic effect: it is a negation that includes affirmation;- is a means by which the natural logical and linguistic property of negation can be strengthened;He found that this was no easy task.
- is used in different styles of speech, excluding those which may be called the matter-of-fact styles, like official style and scientific proseb) a construction with two negationsnot unlike, not unpromising, not displeased
Soames, with his lips and his squared chin was not unlike a bull dog. (J.Galsworthy)
Source: I.R.G.English-Russian dictionary of stylistics (terminology and examples) > litotes
-
18 law
1) закон3) правило4) принцип•under the law — по закону, согласно закону, в соответствии с законом
- Biot law- converse law of double negation- cube law- distributive law of disjunction over conjunction - double law of the mean - fifth power law - first distributive law - first law of mean- gas law- idempotency law - infinitely decomposable law - infinitely divisible law - inverse sine law - inverse square law - law of addition of probability - law of alteration of quantifiers - law of associativity of disjunction - law of comparative judgment - law of constant angles - law of double complementation - law of equal significance - law of mass action - law of random function - law of random vector - law of requisite variety - law of right invertibility - law of statistical regularity - law of universal causation - law of universal gravitation - Newton's first law of motion - Newton's law of gravitation - Newton's second law of motion - Newton's third law of motion - normal law of composition - normal law of errors - one-sided modular law - probabilistic law - probability law - product law of probability - quadratic reciprocity law - second law of mean - second order law - similitude law- time law- weak law -
19 rule
1) правило, норма; норматив || устанавливать правила или нормы2) строит. прав'ило3) линейка || линовать, разлиновывать4) правление || управлять, руководить, командовать5) мат. закон6) графить, разграфлять•set closed under rule — множество, замкнутое относительно операции
- blind man's ruleto lay down the rule — формулировать [устанавливать] правило
- box rule- cut rule- em rule- slow-in- sum rule- three sigma rule -
20 symbol
1) знак2) обозначение3) символ, символическое обозначение•- power residue symbol - symbol of unit - symbol of virtual intersection
- 1
- 2
См. также в других словарях:
Negation as failure — (NAF, for short) is a non monotonic inference rule in logic programming, used to derive (i.e. that is assumed not to hold) from failure to derive . Note that can be different from the statement of the logical negation of … Wikipedia
Negation — For other uses, see Negation (disambiguation). In logic and mathematics, negation, also called logical complement, is an operation on propositions, truth values, or semantic values more generally. Intuitively, the negation of a proposition is… … Wikipedia
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Logical conjunction — ∧ redirects here. For exterior product, see exterior algebra. Venn diagram of … Wikipedia
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Logical quality — In many philosophies of logic statements are categorized into different logical qualities based on how they go about saying what they say. Doctrines of logical quality are an attempt to answer the question: “How many qualitatively different ways… … Wikipedia
Logical NOR — This article is about NOR in the logical sense. For the electronic gate, see NOR gate. For other uses, see Nor. Venn diagram of In boolean logic, logical nor or joint denial is a truth functional operator which produces a result that is the… … Wikipedia
Logical equality — For the corresponding concept in combinational logic, see XNOR gate. XNOR Logic Gate Symbol Logical equality is a logical operator that corresponds to equality in Boolean algebra and to the logical biconditional in propositional calculus. It… … Wikipedia
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
Logical biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia